161. Abstract state machines, B and
پدیدآورنده : / Egon Beorger ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
162. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
163. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده : Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
164. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده : Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
165. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
166. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
167. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده : Yuri Gurevich...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
168. Abstraction, reformulation, and approximation
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Congresses. ; Artificial intelligence ; Congresses. ;
169. Abstraction, reformulation, and approximation
پدیدآورنده : / Ian Miguel, Wheeler Ruml (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science--Congresses,Artificial intelligence--Congresses
رده :
QA
,
75
.
5
,.
S27
,
2007
170. Abstraction, reformulation and approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
پدیدآورنده : Jean-Daniel Zucker, Lorenza Saitta )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3607
171. Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
پدیدآورنده : Sven Koenig, Robert Holte )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2371
172. Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
پدیدآورنده : Berthe Y. Choueiry, Toby Walsh )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1864
173. Accelerator programming using Directives :
پدیدآورنده : Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses.,High performance computing, Congresses.,Computer programming.,High performance computing.
رده :
QA76
.
751
174. Access networks :
پدیدآورنده : Róbert Szabó...[et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.
رده :
TK5105
.
5
.
I58
2011
175. Accessing multilingual information repositories
پدیدآورنده : / Carol Peters ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Cross-language information retrieval--Congresses
رده :
Z
,
667
.
5
,.
C75
,
2005
176. Accountability and Security in the Cloud
پدیدآورنده : \ Massimo Felici , Carmen Fernández-Gago (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Cloud computing -- Security measures -- Congresses.,Data protection -- Congresses,Data encryption (Computer science) -- Congresses.,محاسبات ابری -- تدابیر ایمنی -- کنگره ها ,حفاظت اطلاعات -- کنگره‌ها ,رمزگذاری داده‌ها -- کنگره‌ها
رده :
QA
76
.
585
.
A25
2015
E-Book
,
177. Accurate scientific computations : Symposium, Bad Neuenahr, FRG, March 12-14, 1985 : Proceedings
پدیدآورنده : edited by Willard L. Miranker, Richard A. Toupin
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Mathematics,Congresses ، Numerical calculations
رده :
QA
76
.
L28
Vol
.
235
178. Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings
پدیدآورنده : edited by Willard L. Miranker and Richard A. Toupin
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Mathematics - Data processing,Congresses ، Numerical calculations
رده :
QA
76
.
L4
v
.
235
179. Active and programmable networks :
پدیدآورنده : David Hutchison ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
180. Active and programmable networks
پدیدآورنده : David Hutchison ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application program interfaces (Computer software), Congresses,Computer networks, Congresses
رده :
TK5105
.
5
.
I93
2009
